3. Show that no out-of-bound array indexes occur on any execution of P.